181. Abelian varieties
Author: / Serge Lang
Library: Library of College of Science University of Tehran (Tehran)
Subject: Abelian groups,Logic, Symbolic and mathematical
Classification :
QA
171
.
L28
182. Abstract set theory
Author:
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Logic, symbolic and mathematical,Algebra, abstract
Classification :
512
.
8
Fr-A
183. Acting and Reflecting :
Author: edited by Wilfried Sieg.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
184. Adapting proofs-as-programs
Author: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science),Lambda calculus,Abstract data types (Computer science),Electronic books. , local
Classification :
E-BOOK
185. Adapting proofs-as-programs
Author: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing., Poernomo, Iman Hafiz, 1976-
Library: Library of College of Science University of Tehran (Tehran)
Subject: Curry-Howard isomorphism., Proof theory., Logic, Symbolic and mathematical., Functional programming (Computer science),Lambda calculus.,Abstract data types (Computer science)
Classification :
QA
9
.
54
.
P64
2005
186. Adapting proofs-as-programs
Author: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Curry-Howard isomorphism.,Proof theory.,Logic, Symbolic and mathematical.,Functional programming (Computer science),Lambda calculus.,Abstract data types (Computer science)
Classification :
QA
,
9
.
54
,.
P64
,
2005
187. Adapting proofs-as-programs
Author: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science,Lambda calculus,Abstract data types (Computer science
Classification :
E-BOOK
188. Adaptive Resonance Theory Microchips
Author: by Teresa Serrano-Gotarredona, Bernabé Linares-Barranco, Andreas G. Andreou.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering.,Engineering.,Logic, Symbolic and mathematical.
189. Admissibility of logical inference rules
Author: Rybakov, Vladimir Vladimir
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Logic, Symbolic and mathematical , Inference
Classification :
QA
9
.
R986
1997
190. Admissibility of logical inference rules
Author: Rybakov, Vladimir V. )Vladimir Vladimir(
Library: Central Library and Documentation Center (Semnan)
Subject: ، Logic, Symbolic and mathematical,، Inference
Classification :
QA
9
.
R986
1997
191. Advanced mathematics :
Author: Stanley J. Farlow.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical, Textbooks.,Mathematics, Textbooks.,Differential equations, Partial.,Logic, Symbolic and mathematical.,MATHEMATICS-- Calculus.,Mathematics.
Classification :
QA37
.
3
192. Advanced mathematics
Author: Stanley J. Farlow
Library: Library of College of Science University of Tehran (Tehran)
Subject: Mathematics,Logic, Symbolic and mathematical, -- Textbooks, -- Textbooks,a03,a04
Classification :
QA37
.
3
.
F37
2020
193. Advanced mathematics :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Mathematics ; Textbooks. ; Logic, Symbolic and mathematical ; Textbooks. ;
194. Advanced work in English
Author: Parker, Colin Rodwell Eric.
Library: Central Library and Documentation Center (Kerman)
Subject: ، English language - Style,، Logic, Symbolic and mathematical
Classification :
PE
1413
.
P28
195. Advances in Computational Intelligence :
Author: edited by Salvatore Greco, Bernadette Bouchon-Meunier, Giulianella Coletti, Mario Fedrizzi, Benedetto Matarazzo, Ronald R. Yager.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computers.,Logic, Symbolic and mathematical.
196. Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil
Author: Walter A. Carnielli, Itala M.L. D'Ottaviano, editors
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer logic,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
L36B7
1996
197. Advances in linear logic
Author: edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
A1
L56
1995
198. Advances in linear logic
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic, Symbolic and mathematical ; Congresses. ;
199. Advances in linear logic
Author: / edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic, Symbolic and mathematical--Congresses
Classification :
QA
,
9
,.
A1
,
L56
,
1995
